توفر المادة مقدمة في تمثيل المعرفة في الذكاء الاصطناعي. سيتم التركيز على المنطق في تمثيل المعرفة. سيتم تعلم كيفية استخدام المنطق في تمثيل المعرفة، وتحديد مشاكل الاستدلال وكيفية استخدامها لدعم عمليات تمثيل المعرفة. كما سيتم استخدام خصائص المنطق الحسابية ودراسة الخوارزميات في معالجة المشاكل الحاسوبية